$\exists$$e$$\leq$${\it e'}$.$P$(${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$${\it e'}$:E. $e$ $\leq$ ${\it e'}$  \& $P$(${\it e'}$)